Dualities between cellular sheaves and cosheaves
نویسندگان
چکیده
منابع مشابه
Flow-cut Dualities for Sheaves on Graphs
This paper generalizes the Max-Flow Min-Cut (MFMC) theorem from the setting of numerical capacities to cellular sheaves of semimodules on directed graphs. Motivating examples of semimodules include probability distributions, multicommodity capacity constraints, and logical propositions. Directed algebraic topology provides the tools necessary for capturing the salient information in such a gene...
متن کاملDualities for Multi-State Probabilistic Cellular Automata
In this paper a new form of duality for probabilistic cellular automata (PCA) is introduced. Using this duality, an ergodicity result for processes having a dual is proved. Also, conditions on the probabilities defining the evolution of the processes for the existence of a dual are provided. The results are applied to wide classes of PCA which include multi-opinion voter models, competition mod...
متن کاملClassification of Constructible Cosheaves
Informally speaking, a map is stratified if it is proper and there is a partition S of X into manifolds so that over each manifold S ∈ S the map f(S)→ S is a fiber bundle. One perspective on this question uses the open sets of X to define a functor F̂ : Open(X)→ Set that assigns to each open U the set π0(f (U)) of path components. This functor satisfies a gluing axiom reminiscent of the usual va...
متن کاملCoherent Sheaves and Cohesive Sheaves
We consider coherent and cohesive sheaves of O–modules over open sets Ω ⊂ Cn. We prove that coherent sheaves, and certain other sheaves derived from them, are cohesive; and conversely, certain sheaves derived from cohesive sheaves are coherent. An important tool in all this, also proved here, is that the sheaf of Banach space valued holomorphic germs is flat. To Linda Rothschild on her birthday
متن کاملCosheaves and connectedness in formal topology
The localic definitions of cosheaves and connectedness are transferred from impredicative topos theory to predicative formal topology. A formal topology is locally connected (has base of connected opens) iff it has a cosheaf π0 together with certain additional structure and properties that constrain π0 to be the connected components cosheaf. In the inductively generated case, complete spreads (...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2018
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2017.06.001